20 years temporal and spatial variation

alternating-time temporal logic

Alternating-time Temporal Logic ATL

biomass spatial and temporal distribution

branching-time temporal logic

Characteristics of temporal and spatial distribution

characteristics of temporal and spatial scales

CO column amount spatial and temporal distribution

discrete timed interval temporal logic

disperse fluorescence and temporal-resolved spectr

Extended Interval Temporal Logic

Features of temporal and spatial changes

features of temporal and spatial variations

finite propositioanl linear temporal logic

flow pattern temporal and spatial evolution

Forehead and temporal

fuzzy temporal relation

high spatial and temporal resolution

Interval Temporal Logic